Types Research Gaps